退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:移动设备上基于RSA的电子邮件协议的定量模型检查
Sophia Petridou; Stylianos Basagiannis; Nikolaos Alexiou; Georgios Papadimitriou; Panagiotis Katsaros;
机译:移动环境中经过认证的电子邮件协议的定量分析:一种概率模型检查方法
机译:通过模型检查对网络协议进行安全性分析:以移动IPv6为例
机译:根据《国际议定书》,对四个自动测量血压的自动装置进行了验证:Pic Indolor个人支票,舒适性支票,我的支票和旅行支票
机译:在移动设备上基于RSA的电子邮件协议的定量模型检查
机译:模型检查顺序一致性和参数化协议。
机译:利用概率模型检验设计和分析DNA链置换设备
机译:移动环境中认证电子邮件协议的定量分析:一种概率模型检查方法
机译:一种系统和方法,通过该系统和方法,手机可以在端到端安全管理应用程序中与低功耗蓝牙(BLE)设备进行通信,从而提供自动检入/检出功能,自动显示安全消息,自动数据收集,触发胁迫短信,能够通过BLE硬件监视远程人员或电子邮件的状态。该系统通过手机上的“应用”运行。手机应用程序连接到基于云的监视系统以跟踪上述任务。任务由BLE Beacon硬件激活。
机译:在移动设备上检查电子邮件中的植物内容的方法和设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。